@${\it loc}$: only members of $L$ read $x$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr(inr(inr(inr(inr(inr(inr(inr(inr(inr($\langle$${\it loc}$$,\,$$x$$,\,$$L$$\rangle$))))))))))